منابع مشابه
Abstraction Refinement for Ontology Materialization
ion Refinement for Ontology Materialization Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in which reasoning over...
متن کاملMaterialization: A Powerful and Ubiquitous Abstraction Pattern
Materialization is a useful abstraction pattern that can be identified in many application settings. Intuitively, materialization is the relationship between a class of categories (e.g., models of cars) and a class of more concrete objects (e.g., individual cars). This paper gives a quasi-formal semantic definition of materialization in terms of the usual is-a and isof abstractions, and of a cl...
متن کاملAbstraction Refinement for Ontology Materialization Technical Report
ion Refinement for Ontology Materialization Technical Report Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in whi...
متن کاملIncremental Materialization Update via Abstraction Refinement
ion Refinement Markus Brenner and Birte Glimm University of Ulm, Germany, [email protected] Abstract. Abstraction refinement is a recently introduced technique Abstraction refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) ‘abstraction’ of this ontology. In this p...
متن کاملOntology Materialization by Abstraction Refinement in Horn SHOIF
Abstraction refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) ‘abstraction’ of this ontology. Although this approach is sound for the very expressive language SROIQ, so far it was proved to be complete only for Horn ALCHOI ontologies. In this paper we propose an extension of this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Journal of the Constructed Environment
سال: 2011
ISSN: 2154-8587,2154-8595
DOI: 10.18848/2154-8587/cgp/v01i02/37469